WSI-96-25
R. Nierdermeier, P. Rossmanith
Unambiguous Computations and Locally
Definable Acceptance Types
WSI-96-24
noch nicht erschienen
WSI-96-23
A. Schilling
Rasterizer Setup for Stereo Rendering
WSI-96-22
T. Grundmann, T. Bubeck, W. Rosenstiel
Automatisches Generieren von
DTS-Kopierfunktionen fuer C
WSI-96-21
H. Fernau
Unconditional Transfer in Regulated Rewriting
WSI-96-20
A. Gebhart, T. Eppler, W. Rosenstiel
Erweiterte Methoden zur automatischen Gesichtserkennung
WSI-96-19
H. Fernau, D. W=E4tjen
Remarks on Regulated Limited ETOL Systems
and Regulated Context-Free Grammars
WSI-96-18
S. Schupp
Fortgeschrittene Konzepte der Standard Template (STL)
WSI-96-17
Noch nicht erschienen
WSI-96-16
H. Fernau, M. Holzer
Regulated Finite Index Language Families Collapse
WSI-96-15
B. Amrhein, O. Gloor, W. Küchlin
Experiments with the Gröbner-Walk
WSI-96-14
B. Jenner, J. Toran
The Complexity of Obtaining Solutions for
Problems in NP and NL
WSI-96-13
R. Bündgen
Abstract Completion for Non-Compatible Rewrite Relations
WSI-96-12
A. Myka,H. Argenton,U. Güntzer
Towards Automatic Hypertextual Representation of Linear Texts
WSI-96-11
W. Broll, D. England, J. Fechter, T. Koop
Towards Interactive Virtual Environments:
Interaction and Behavior Extensions for VRML
WSI-96-10
L.M. Encarnacao, A. Stork
An Integrated Approach to User-Centered Interface Adaption
WSI-96-9
noch nicht erschienen
WSI-96-8
G. Simon
Interoperability between Computer Algebra Systems
WSI-96-7
S. Schupp
How To Lift a Library
WSI-96-6
O. Danvy, R. Glück, P. Thiemann
Dagstuhl Seminar Partial Evaluation February 1996 Draft Proceedings
WSI-96-5
L. M. Encarnacao, J. Fechter/T. Grunert
User-Tailored Interaction Development in 2D, 3D, and VR with UC-AID med
WSI-96-4
E. Gröller, R.T. Rau, W. Straßer
Modeling Textiles as Three Dimensional Textures
WSI-96-3
R.T. Rau
Visualization of Scientific Data in an Object-Oriented Framework
WSI-96-2
R.T. Rau
Visualization of Relativistic Flights
WSI-96-1
H. Fernau, M.Holzer
Bidirectional Cooperating Distributed Grammar Systems
WSI-95-26
L. M. Encarnacao
An Adaptive Hypermedia Help Component for Graphical User Interfaces
WSI-95-25
S. Schupp, R. Loos
Considerations for a Generic SAC Library
WSI-95-24
noch nicht erschienen
WSI-95-23
noch nicht erschienen
WSI-95-22
M. Plümicke, H. Klaeren
Concepts for Overloading and Subtyping in an Algebraic Specification Language
WSI-95-21
U. Fößmeier, M. Kaufmann
Drawing High Degree Graphs with Low Bend Numbers
WSI-95-20
WSI (Hg.)
Studienplan
WSI-95-19
R. Bündgen, W. Lauterbach
Partielle Evaluationsbereiche für Termersetzungsspezifikationen
WSI-95-18
E. Gröller, R. Rau, W. Straßer
Modeling and Visualization of Knitwear
WSI-95-17
R. Rau
An Object-Oriented Framework for the Visualization of Scientific Data
WSI-95-16
W. Küchlin
Informatik I. Programmierkonzepte.
Eine objekt-orientierte Einführung mit C++
WSI-95-15
L.M. Encarnacao
A Concept of a Framework to Experiment with
Adaptivity in Graphical User Interfaces
WSI-95-14
C. Damm, M. Holzer
Automata That Take Advice
WSI-95-13
E. Garcez
The Verification of a ATM Switching Fabric using the HSIS tool
WSI-95-12
nicht erschienen
WSI-95-11
M. Hiller
Verteiltes symbolisches Rechnen mit PARSAC-2
WSI-95-10
M. Holzer (Hg.)
4. GI Theorietag ``Automaten u. Formale Sprachen''
WSI-95-9
J.F. Sibeyn, M. Kaufmann:
Solving Cheap Graph Problems on Meshes
WSI-95-8
E. Schubert, J. Bullmann
Division und Faktorisierung über Mehrbereichsdarstellungen
boolescher Funktionen
WSI-95-7
P. Becker
An Embeddable and Extendable Language for
large-scale Programming on the INTERNET
WSI-95-6
P. Maier, M. Göbel, R. Bündgen:
A Multi-Threaded Unfailing Completion
WSI-95-5
H. Lauer
GRAPHEDITOREN. Eine Wunschliste
WSI-95-4
R. Bündgen, W. Lauterbach, W. Küchlin
A License to Fly: Verifying the Sparrow-0 Processor
WSI-95-3
W. Straßer (Hg.)
GRIS-Jahresbericht
WSI-95-2
J. Busse, H. Klaeren, G. Reich
Informatikkenntnisse von Jugendlichen,
untersucht am Beispiel des 11. Bundeswettbewerbs Informatik 1992/93
WSI-95-1
P. Becker
A Temporal Logic Based Approach for
Querying Lists, Trees, and DAGs in Databases
WSI-94-17
M. Encarnacao, J. Fechter
Applying Adaptive Interface Reasoning to Virtual Environments
WSI-94-16
R. Klein, J. Krämer
Schnelle Algorithmen zur Berechnung der 2D-Delaunay-Triangulierung
WSI-94-15
R. Klein, R.T. Rau
Mapping of 2D-Textures on 3D-Garments
WSI-94-14
M. Plümicke, H. Klaeren
Subtyping and Overloading in a Functional Programming Language
WSI-94-13
nicht erschienen
WSI-94-12
B. Amrhein
Gröbner-Basen (Vorlesungsskript)
WSI-94-11
H. Szczerbicka (Hg.)
noch nicht erschienen
WSI-94-10
WSI (Hg.)
Studienplan
WSI-94-9
H. Argenton, P. Becker
Efficient Retrieval of Labeled Binary Trees
WSI-94-8
P. Becker
M - Ein objekt-orientiertes Modell- und
Methodenbanksystem für diskrete Optimierungsprobleme
WSI-94-7
M. Plümicke
Ordnungs-sortierte Algebren als Grund- lage für Semantik und
Typsystem einer algebraischen Spezifikationssprache
WSI-94-6
P. Berman, U. Fößmeier, M. Karpinski, M. Kaufmann, A. Zelikovsky
Approaching the 5/4 - Approximation for Rectilinear Steiner Trees
WSI-94-5
R. Bündgen, M. Göbel, W. Küchlin
Experiments with Multi-Threaded Knuth-Bendix Completion
WSI-94-4
H. Szczerbicka (Hg.)
Informatik und Gesellschaft
WSI-94-3
W. Straßer (Hg.)
GRIS-Jahresbericht
WSI-94-2
P. Becker
A New Algorithm for the Construction of Optimal B-Trees
WSI-94-1
E. Schubert
Technology mapping for LUTFPGA based on functional decision diagrams
WSI-93-15
U. Kebschull
Die Äquivalenz-Expansion Boolescher Funktionen
WSI-93-14
U. Fößmeier, M. Kaufmann, A. Zelikovsky
Fast Approximation Algorithms for
the Rectilinear Steiner Tree Problem
WSI-93-13
R. Bündgen
The ReDuX System Documentation (Version 1.3)
WSI-93-12
J. Walter, R. Bündgen
The ReDuX User Guide (Version 1.3)
WSI-93-11
J. Brischar
Berechnung statt Entscheidung?
WSI-93-10
O. Aberth, M. Schaefer
The C++ Range Arithmetic System User's Guide
WSI-93-9
M. Encarnacao
NeuNIDA: Reasoning on Neural Net Algorithms as Basis for
Intelligent GUI's in Advanced Design Applications
WSI-93-8
T. Bubeck
Eine Systemumgebung zum verteilten funktionalen Rechnen
WSI-93-7
T. Bubeck, U. Kebschull, W. Rosenstiel
Sparrow. Ein Mikroprozessor-Entwurfs- und Ausbildungssystem
WSI-93-6
U. Kebschull
Graphische Darstellung und Transformation von Normalformen Boolescher
Funktionen
WSI-93-5
G. Hagel
Characterizations of the Macaulay-Matrix
WSI-93-4
G. Zinßmeister
Layout of Trees with Attribute Graph Grammars
WSI-93-3
R. Bündgen, J. Walter
A C-Backend for the ALDES Compiler
WSI-93-2
U. Kebschull, E. Schubert, W. Rosenstiel(Hg.)
Handouts for IFIP WG 10.5. Workshop on Applications of the
Reed-Muller Expansion in Circuit Design
Hamburg, Germany, Sept. 16-17, 1993
WSI-93-1
H. Thöne, W. Kießling, U. Güntzer
On Cautious Probabilistic Inference and Default Detachment
WSI-92-14
R. Loos G. E. Collins
Revised Report on the Algorithm Description Language ALDES
WSI-92-13
P. Thiemann
A Safety Analysis for Functional Languages
WSI-92-12
A. Weber
Structuring the Type System of a Computer Algebra System
WSI-92-11
H. Klaeren
Gibt es Software Engineering?
WSI-92-10
P. Schroeder-Heister
Cut-Elimination in Logics with Definitional Reflection
WSI-92-9
H. Klaeren (Hg.)
2. Arbeitstreffen "Effiziente Implementierung Funktionaler
Programmiersprachen"
WSI-92-8
WSI (Hg.)
Jahresbericht 1991
WSI-92-7
U. Oestermeier
Psychologische Theorien des logischen Schließens
WSI-92-6
S. Keronen
Natural Deduction Proof Theory for Logic Programming
WSI-92-5
W. Straßer (Hg.)
Jahresbericht 1991 Arbeitsbereich GRIS
WSI-92-4
J. Werner, U. Güntzer
X-TUMIS : Ausbau des Information-Retrieval-Management-Systems TUMIS
für Analyse, Retrieval und Präsentation von Dokumenten
WSI-92-3
F. Sarre, A. Myka, T. Salzberger
Die Benutzerschnittstelle des HyperMan-Systems
WSI-92-2
J. Gough
The D-Code Compiler Front-end GP2D
WSI-92-1
J. Werner, U. Güntzer, T. Brychcy
Audio-Mail. Eine zweckmäßige Kombina-
tion aus gesprochener Sprache, E-Mail und Datenbanken
WSI-91-14
nicht erschienen
WSI-91-13
nicht erschienen
WSI-91-12
P. Thiemann
Efficient Implementation of Structural Recursive Programs
WSI-91-11
G. Hagel
Formale Sprachen Implementierung einiger Algorithmen in Pascal
WSI-91-10
nicht erschienen
WSI-91-9
J. Walter, R. Bündgen
The ReDuX User Guide (Version 1.0)
WSI-91-8
nicht erschienen
WSI-91-7
V. Ajjanagadde
Abductive Reasoning in Connectionist Networks:
Incorporating Variables, Background Knowledge, and Structured Explananda
WSI-91-6
V. Ajjanagadde
Incorporating Background Knowledge and
Structured Explananda in Abductive Reasoning: A Framework
WSI-91-5
R. Bündgen
The ReDuX System Documentation (Version 1.0)
WSI-91-4
R. Loos
Publication ALDES
WSI-91-3
R. Bündgen
Term Completion Versus Algebraic Completion (Dissertation)
WSI-91-2
W. Straßer (Hg.)
Jahresbericht 1990 Arbeitsbereich GRIS
WSI-91-1
P. Thiemann
Tabulating Recursive Functions without Descent Laws
WSI-90-14
U. Güntzer, W. Kießling, H. Thöne
New Directions for Uncertainty Reasoning in Deductive Databases
WSI-90-13
L. Langemyr
An Implementation of the Cylindrical Algebraic Decomposition
Algorithm with Multiple Algebraic Extensions
WSI-90-12
L. Langemyr
Converting SAC-2 Code to Common Lisp
WSI-90-11
nicht erschienen
WSI-90-10
B. Schneider
Proof - Interne Berichte
WSI-90-9
S. Seitz
Verteiltes Rechnen in SAC-2 (Dissertation)
WSI-90-8
R. Bündgen
Completion of Bases for Multivariate Polynomial Ideals over
Commutative Rings with the Term Completion
Procedure According to Peterson and Stickel
WSI-90-7
R. Loos
``... ein platonisches Gerät''
WSI-90-6
GDV-Praktikum
WSI-90-5
Jahresbericht des Arbeitsbereichs GRIS
WSI-90-4
G. E. Collins, R. Loos
Specification and Index of SAC-2 Algorithms
WSI-90-3
B.-O. Schneider
Eine objektorientierte Architektur für
Hochleistungs-Display-Prozessoren (Dissertation)
WSI-90-2
J. Mayer
Implementierung eines Medianfilters
WSI-90-1
R. Loos
Die Informatik als Chance der Universität
WSI-89-9
H.-P. Seidel
Polynome, Splines und symmetrische rekursive
Algorithmen in Computer Aided Geometric Design (Habilitationsschrift)
WSI-89-8
H. Klaeren, P. Thiemann
A Clean Modula-2 Interface to Abstract Data Types
WSI-89-7
R. Stübner
Vektorrechner, Funktionsweise, Perspektive und ihre Anwendung
im Bereich der Computer-Algebra
WSI-89-6
R. Loos
Was heißt und zu welchem Ende studieren wir Informatik?
(Antrittsvorlesung)
WSI-89-5
M. Arnold
Non Uniform Rational B-Splines zur Darstellung von Kurven
und exakten Repräsentation von Kegelschnitten
WSI-89-4
R. Stübner
Modellierung von Petri-Netzen mittels relationaler Datenbanken
WSI-89-3
R. Bündgen
Application of the Knuth-Bendix Completion Algorithms to Finite Groups
WSI-89-2
R. Loos
Formale Sprachen, Theorie und Anwendungen
WSI-89-1
Xiaolin Zhou
Parametrisierung der Flächen zweiten Grades
und Konvertierung in die NURBS-Tensor-Produktdarstellung
WSI-88-5
H.-P. Seidel
A New Multiaffine Approach to B-Splines
WSI-88-4
H.-P. Seidel
Eurographics '88 Tutorial Notes: PC Graphics
WSI-88-3
U. Claussen
Beleuchtungsmodelle und Beleuchtungsalgorithmen in der GDV
WSI-88-2
B.-O. Schneider
PROOF: An Object-Oriented System
WSI-88-1
W. Straßer (Hg.)
Final Report: Machine Vision
WSI-87-1
W. Straßer (Hg.)
Workshop Objektprozessorpipeline